1. Logic for Programming, Artificial Intelligence, and Reasoning
Author: / Edmund M. Clarke, Andrei Voronkov
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
2. Logic for programming, artificial intelligence, and reasoning :
Author: Edmund M. Clarke, Andrei Voronkov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Informatique.,Logic programming -- Congresses.,Logic programming.
3. May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
Author: / Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
Classification :
E-BOOK
4. Perspectives of systems informatics
Author: Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses,Software engineering, Congresses,Systems engineering, Congresses
Classification :
QA75
.
5
.
I52
2011eb
